Fraïssé sequences: category-theoretic approach to universal homogeneous structures
نویسنده
چکیده
We present a category-theoretic approach to universal homogeneous objects, with applications in the theory of Banach spaces and in set-theoretic topology. Disclaimer: This is only a draft, full of gaps and inaccuracies, put to the Math arXiv for the sake of reference. More complete versions are coming soon.
منابع مشابه
Fraïssé Limits of Metric Structures
We develop Fraïssé theory, namely the theory of Fraïssé classes and Fraïssé limits, in the context of metric structures. We show that a class of finitely generated structures is Fraïssé if and only if it is the age of a separable approximately homogeneous structure, and conversely, that this structure is necessarily the unique limit of the class, and is universal for it. We do this in a somewha...
متن کاملUniversal homogeneous structures ( lecture notes )
We present category-theoretic framework for universal homogeneous structures, with selected applications. Most of the material had been presented as a series of lectures for graduate students at Department of Mathematics, University of Silesia in Katowice, Poland (21 – 23 November 2012).
متن کاملUniversal Homogeneous Event Structures and Domains
In the theory of denotational semantics of programming languages, several authors established the existence of particular kinds of “universal” domains. Here, we use a general model-theoretic result to show that there exists a unique countable universal homogeneous event structure. From this, we deduce that the category of all event domains, with stable embedding-projection pairs as morphisms, c...
متن کاملSome model-theoretic remarks on structural Ramsey theory
We present one novel result and two novel proofs of previously known results in structural Ramsey theory. Regarding the former, we give a new characterization of the Ramsey property for a Fraïssé class in terms colorings of induced substructures of its generic model (or Fraïssé limit). This result is obtained as a corollary of a more general theorem in which we show that under relatively mild h...
متن کاملSome model-theoretic remarks on structural Ramsey theory
We present one novel result and two novel proofs of previously known results in structural Ramsey theory. For the former, we give a new characterization of the Ramsey property for a Fraïssé class in terms colorings of induced substructures of its generic model (or Fraïssé limit). This result is obtained as a corollary of a more general theorem in which we show that under relatively mild hypothe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 165 شماره
صفحات -
تاریخ انتشار 2014